Methods of proof - PDFSEARCH.IO - Document Search Engine

Methods of proof
Results: 168

#	Item
31	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
32	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
33	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2015-07-27 06:09:15 Automated theorem proving Theoretical computer science Logic Formal methods Mathematics Logic in computer science Proof theory Mathematical proof Proof assistant Isabelle Theorem Proof
34	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
35	NON-REGULARITY OF bα + logk nc ERIC S. ROWLAND Abstract. This paper presents a new proof that if kα is irrational then the sequence {bα+logk nc}n≥1 is not k-regular. Unlike previous proofs, the methods used do not r Add to Reading List Source URL: thales.math.uqam.ca Language: English - Date: 2009-11-21 15:03:08
36	Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. We investigate inductive methods for proving secrecy p Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:15 Cryptography Authentication protocols Computer network security Ciphertext indistinguishability DolevYao model Advantage Kerberos Cryptographic protocol Security parameter XTR Challengeresponse authentication Security protocol notation
37	A Note on Boundary Constraints for Linear Variational Surface Design Andrew Nealen TU Berlin Abstract This note presents a proof for the subspace property of linear variational methods for fair surface design. Specifical Add to Reading List Source URL: dl.dropboxusercontent.com Language: English
38	The EUROPEAN STATISTICAL FORUM is pleased to announce its 6th Annual Conference: Applications of statistical methodology in early drug development Monday, 16th November 2015 Vienna Marriott Hotel Parkring 12a - Vienna, Add to Reading List Source URL: www.dsbs.dk Language: English - Date: 2015-05-21 07:16:26 Evaluation methods Drug discovery Pharmaceutical industry Science Epidemiology Clinical trial Registration fee Grünenthal GmbH Proof of concept Pharmacology Pharmaceutical sciences Medicine
39	To what extent are early phase trials a special case? HRA Workshop, London Thursday 18th September 2014 Contents Add to Reading List Source URL: www.hra.nhs.uk Language: English - Date: 2014-10-08 07:00:50 Pharmaceutical sciences Pharmaceutics Pharmacology Clinical research Evaluation methods Clinical trial Drug development Pre-clinical development Proof of concept Pharmaceutical industry Drug discovery Research
40	COMPUTER SCIENCE TRIPOS Part IB – 2013 – Paper 6 5 Logic and Proof (LCP) (a) In the context of clause methods in theorem proving, define and discuss the concept of a pure literal. Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:18:42

UPDATE